Juris Hartmanis : rechercher sur Z-Library

Communications of the ACM

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1994

Relations between diagonalization, proof systems, and complexity gaps

Journal:

Juris Hartmanis, Lane A. Hemachandra

Année:

1979

Langue:

english

Fichier:

PDF, 1.55 MB

english, 1979

One-way functions and the nonisomorphism of NP-complete sets

Journal:

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Suciu, Dan, Vossen, Gottfried

Année:

1991

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1991

[Lecture Notes in Computer Science] The World Wide Web and Databases Volume 1997 || Quilt: An XML Query Language for Heterogeneous Data Sources

Année:

2001

Langue:

english

Fichier:

PDF, 99 KB

english, 2001

Problems for Solution: 4869-4874

M. S. Klamkin, D. S. Mitrinovitch, Juris Hartmanis, Ky Fan, W. R. Utz and D. J. Newman

Journal:

American Mathematical Monthly

Année:

1959

Langue:

english

Fichier:

PDF, 257 KB

english, 1959

Complexity classes without machines: On complete languages for UP

Juris Hartmanis, Lane A. Hemachandra

Journal:

Desh Ranjan, Richard Chang, Juris Hartmanis

Année:

1988

Langue:

english

Fichier:

PDF, 1012 KB

english, 1988

Space bounded computations: review and new separation results

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 564 KB

english, 1991

On non-determinancy in simple computing devices

Journal:

Acta Informatica

Année:

1972

Langue:

english

Fichier:

PDF, 511 KB

english, 1972

On sparse sets in NP–P

Information Processing Letters

Journal:

Année:

1983

Langue:

english

Fichier:

PDF, 445 KB

english, 1983

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Securing the AES Finalists Against Power Analysis Attacks

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Année:

2001

Langue:

english

Fichier:

PDF, 251 KB

english, 2001

Observations About the Development of Theoretical Computer Science

IEEE Annals of the History of Computing

Journal:

Année:

1981

Langue:

english

Fichier:

PDF, 12.32 MB

english, 1981

[Lecture Notes in Computer Science] The World Wide Web and Databases Volume 1997 || XML and Object-Relational Database Systems Enhancing Structural Mappings Based on Statistics

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Suciu, Dan, Vossen, Gottfried

Année:

2001

Langue:

english

Fichier:

PDF, 216 KB

english, 2001

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Efficient Methods for Generating MARS-Like S-Boxes

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Année:

2001

Langue:

english

Fichier:

PDF, 113 KB

english, 2001

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Derandomizing Arthur-Merlin Games under Uniform Assumptions

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 158 KB

english, 2000

A Note on the Lattice of Geometries

Proceedings of the American Mathematical Society

Journal:

Année:

1957

Langue:

english

Fichier:

PDF, 133 KB

english, 1957

4871

Juris Hartmanis, W. M. Perel and R. C. Wherritt

Journal:

American Mathematical Monthly

Année:

1961

Langue:

english

Fichier:

PDF, 103 KB

english, 1961

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A comparison of HOL and ALF formalizations of a categorical coherence theorem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 811 KB

english, 1996

Editor's foreword

Journal:

Année:

1989

Fichier:

PDF, 31 KB

1989

The random oracle hypothesis is false

Richard Chang, Benny Chor, Oded Goldreich, Juris Hartmanis, Johan Håstad, Desh Ranjan, Pankaj Rohatgi

Journal:

Jin-yi Cai, Juris Hartmanis

Année:

1994

Langue:

english

Fichier:

PDF, 827 KB

english, 1994

On hausdorff and topological dimensions of the kolmogorov complexity of the real line

Journal:

Juris Hartmanis, Wayne A. Davis

Année:

1994

Langue:

english

Fichier:

PDF, 767 KB

english, 1994

Homomorphic images of linear sequential machines

Journal:

Jack W. Carlyle, Sheila Greibach, Juris Hartmanis, E.K. Blum

Année:

1967

Langue:

english

Fichier:

PDF, 399 KB

english, 1967

Eleventh Annual Switching and Automata Theory Symposium

Journal:

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Schneier, Bruce

Année:

1972

Fichier:

PDF, 20 KB

1972

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Provable Security against Differential and Linear Cryptanalysis for the SPN Structure

Année:

2001

Langue:

english

Fichier:

PDF, 159 KB

english, 2001

Independence results about context-free languages and lower bounds

Information Processing Letters

Journal:

Année:

1985

Langue:

english

Fichier:

PDF, 575 KB

english, 1985

On sparse oracles separating feasible complexity classes

Juris Hartmanis, Lane Hemachandra

Journal:

Information Processing Letters

Année:

1988

Langue:

english

Fichier:

PDF, 584 KB

english, 1988

The application of some basic inequalities for entropy

Journal:

Information and Control

Année:

1959

Langue:

english

Fichier:

PDF, 635 KB

english, 1959

The Equivalence of Sequential Machine Models

IEEE Transactions on Electronic Computers

Journal:

Année:

1963

Langue:

english

Fichier:

PDF, 488 KB

english, 1963

Two Tests for the Linearity of Sequential Machines

IEEE Transactions on Electronic Computers

Journal:

Année:

1965

Langue:

english

Fichier:

PDF, 968 KB

english, 1965

[Lecture Notes in Computer Science] Information Security Volume 1975 || Towards a Practical Secure Framework for Mobile Code Commerce

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Pieprzyk, Josef, Seberry, Jennifer, Okamoto, Eiji

Année:

2000

Langue:

english

Fichier:

PDF, 161 KB

english, 2000

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Real Time Cryptanalysis of A5/1 on a PC

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Année:

2001

Langue:

english

Fichier:

PDF, 312 KB

english, 2001

The Boolean Hierarchy I: Structural Properties

Cai, Jin-Yi, Gundermann, Thomas, Hartmanis, Juris, Hemachandra, Lane A., Sewelson, Vivian, Wagner, Klaus, Wechsung, Gerd

Journal:

SIAM Journal on Computing

Année:

1988

Langue:

english

Fichier:

PDF, 2.33 MB

english, 1988

The Boolean Hierarchy II: Applications

Cai, Jin-Yi, Gundermann, Thomas, Hartmanis, Juris, Hemachandra, Lane A., Sewelson, Vivian, Wagner, Klaus, Wechsung, Gerd

Journal:

SIAM Journal on Computing

Année:

1989

Langue:

english

Fichier:

PDF, 1.95 MB

english, 1989

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Improved Cryptanalysis of Rijndael

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Année:

2001

Langue:

english

Fichier:

PDF, 396 KB

english, 2001

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Undecidability Results for Monoids with Linear-Time Decidable Word Problems

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 181 KB

english, 2000

[IEEE 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Tucson, AZ, USA (1983.11.7-1983.11.9)] 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Generalized Kolmogorov complexity and the structure of feasible computations

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Kučera, Luděk

Année:

1983

Langue:

english

Fichier:

PDF, 906 KB

english, 1983

[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 2573 || Budgeted Maximum Graph Coverage

Année:

2002

Langue:

english

Fichier:

PDF, 839 KB

english, 2002

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Bitslice Ciphers and Power Analysis Attacks

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Année:

2001

Langue:

english

Fichier:

PDF, 166 KB

english, 2001

[IEEE 9th Annual Symposium on Switching and Automata Theory (swat 1968) - Schenedtady, NY, USA (1968.10.15-1968.10.18)] 9th Annual Symposium on Switching and Automata Theory (swat 1968) - Tape reversal complexity hierarchies

Fischer, Patrick C., Hartmanis, Juris, Blum, Manuel

Année:

1968

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1968

[IEEE 15th Annual Symposium on Switching and Automata Theory (swat 1974) - USA (1974.10.14-1974.10.16)] 15th Annual Symposium on Switching and Automata Theory (swat 1974) - On the power of multiplication in random access machines

Hartmanis, Juris, Simon, Janos

Année:

1974

Langue:

english

Fichier:

PDF, 406 KB

english, 1974

[IEEE 20th Annual Symposium on Foundations of Computer Science (sfcs 1979) - San Juan, Puerto Rico (1979.10.29-1979.10.31)] 20th Annual Symposium on Foundations of Computer Science (sfcs 1979) - Succinctness, verifiability and determinism in representations of polynomial-time languages

Baker, T. P., Hartmanis, Juris

Année:

1979

Langue:

english

Fichier:

PDF, 612 KB

english, 1979

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Classification of Various Neighborhood Operations for the Nurse Scheduling Problem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 141 KB

english, 2000

Computers and Intractability: A Guide to the Theory of NP-Completeness (Michael R. Garey and David S. Johnson)

Journal:

SIAM Review

Année:

1982

Langue:

english

Fichier:

PDF, 298 KB

english, 1982

Logic, Automata, and Algorithms (Mark A. Aisermann, Leonid A. Gusev, Lev I. Rozonoer, Irena M. Smirnova and Aleksey A. Tal*#8217;)

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Journal:

SIAM Review

Année:

1972

Langue:

english

Fichier:

PDF, 257 KB

english, 1972

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || A Chosen-Plaintext Linear Attack on DES

Année:

2001

Langue:

english

Fichier:

PDF, 157 KB

english, 2001

Maximal Autonomous Clocks of Sequential Machines